1acb7f371a665935cfe36949b37b5abed126c92e,workbench/source_gen/jetbrains/mps/ide/actions/Default_KeymapChanges.java,GoToBookmark_ShortcutChange_qjewi8_rd,getShortcutsFor,#Object#,129

Before Change


    }

    public List<Shortcut> getShortcutsFor(Object... objects) {
      return ListSequence.fromListAndArray(new ArrayList<Shortcut>(), new KeyboardShortcut(KeyStroke.getKeyStroke("ctrl " + objects[0]), null));
    }
  }

After Change


    }

    public List<Shortcut> getShortcutsFor(Object... objects) {
      List<Shortcut> _result = new ArrayList<Shortcut>();
      _result.add(new KeyboardShortcut(KeyStroke.getKeyStroke("ctrl " + objects[0]), null));
      return _result;
    }
  }